1. Computing in Horn Clause Theories

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Logic design.,Software engineering.

رده :
QA76
.
6
B974
1988

2. Computing in Horn Clause theories

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Logic programming,، Horn clauses

رده :
QA
76
.
6
.
P327
1988

3. Computing in Horn clause theories

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: ، Logic programming,، Horn clauses

رده :
QA
76
.
6
.
P32
1988

4. Deduction and declarative programming /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Declarative programming.

رده :
QA76
.
615
.
P33
1992eb

5. Deduction and declarative programming /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Declarative programming.

رده :
QA76
.
615
.
P33
1992eb